Type constructor - PDFSEARCH.IO - Document Search Engine

Type constructor
Results: 154

#	Item
41	Static Type Inference for Ruby Michael Furr Jong-hoon (David) An Jeffrey S. Foster Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2009-11-19 15:40:36 Type theory Object-oriented programming Data types Method Scripting languages Type system Ruby Type inference Constructor Software engineering Computing Computer programming
42	IUCr Computing Commission Newsletter Add to Reading List Source URL: cci.lbl.gov Language: English - Date: 2011-01-13 22:26:32 Object-oriented programming Python Scripting languages Python syntax and semantics Type introspection Constructor Conditional Eval Software engineering Computing Computer programming
43	Flexible Type Analysis∗ Karl Crary Stephanie Weirich Carnegie Mellon University Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Programming language theory Mathematics Type constructor Recursive data type Type system Turn Ordinal number Curry–Howard correspondence Type theory Mathematical logic Data types
44	Higher-Order Intensional Type Analysis Stephanie Weirich Department of Computer Science, Cornell University Ithaca, NY 14850, USA Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Programming language theory Software engineering Symbol Recursive data type Constructor Turn Type system Binding Ordinal number Type theory Mathematical logic Data types
45	Typelets — A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces Martin Elsman1 and Anders Schack-Nielsen2 1 University of Copenhagen, Universitetsparken 5, DK-2100 Copenhagen, Denmark Add to Reading List Source URL: hiperfit.dk Language: English Type theory Procedural programming languages Cross-platform software C++ Data types Type system Monad C++ classes Constructor Software engineering Computing Computer programming
46	B Objective Caml 3.04 Independently of the development of Objective Caml, several extensions of the language appeared. One of these, named Olabl, was integrated with Objective Caml, starting with version[removed]This appen Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Functional languages Data types Type theory Procedural programming languages C++ Caml C++ classes Constructor ML Software engineering Computing Computer programming
47	Typed Memory Management in a Calculus of Capabilities∗ David Walker Cornell University Karl Crary Carnegie Mellon University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2000-03-08 17:36:45 Computer programming Type theory Data types Region-based memory management Constructor Calculus Lambda calculus Type system Monad Computing Software engineering Memory management
48	15 Object-Oriented Programming As you may have guessed from the name, Objective Caml supports object-oriented programming. Unlike imperative programming, in which execution is driven by explicit sequencing of operations, Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Object-oriented programming Data types Type theory Immutable object Constructor C++ classes Objective-C Type system Generic programming Software engineering Computing Computer programming
49	16 Comparison of the Models of Organisation Chapters 14 and 15 respectively presented two models of application organisation: The functional/modular model and the object model. These two models address, each in Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Functional languages Type theory Java programming language Program analysis Type system Generic programming OCaml Objective-C Constructor Software engineering Computer programming Computing
50	Flexible Type Analysis Karl Crary Stephanie Weirich Carnegie Mellon University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-14 16:12:26 Programming language theory Mathematics Type constructor Type system Recursive data type Turn Constructor Ordinal numbers Curry–Howard correspondence Type theory Mathematical logic Data types